1. Categories, allegories
پدیدآورنده: Freyd, Peter J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Categories )Mathematics(,، Allegories )Mathematics(
رده :
QA
169
.
F73
1990
2. Categories in Computer Science and Logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987
پدیدآورنده: John W. Gray and Andre Scedrov, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
رده :
QA
76
.
9
.
M35A57
1987
3. Categories in computer science and logic :
پدیدآورنده: John W. Gray and Andre Scedrov, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Catégories (Mathématiques), Congrès.,Informatique-- Mathématiques, Congrès.,Categories (Mathematics),Catégories (Mathématiques)-- Congrès.,Computer science-- Mathematics.,Informatique-- Mathématiques-- Congrès.
رده :
QA76
.
9
.
M35
A47
1987
4. Freyd's models for the independence of the axiom of choice /
پدیدآورنده: Andreas Blass and Andre Scedrov
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Axiom of choice,Forcing (Model theory),Toposes
رده :
QA248
.
A57
no
.
404
5. categories,allegories
پدیدآورنده: peter J.Freyd,Andre Scedrov
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: categories)mathematics(,allegories
رده :
QA
169
.
F73
1989